1. Comprehensive functional verification the complete industry cycle /
پدیدآورنده : Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Integrated circuits-- Verification.,Computer engineering.,COMPUTERS-- Logic Design.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7874
.
58
.
W55
2005eb
2. Design verification with e
پدیدآورنده : / Samir Palnitkar
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer hardware description languages,Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
TK7885
.
7
.
P33
2004
3. Design verification with e
پدیدآورنده : / Samir Palnitkar
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer hardware description languages,Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
TK7885
.
7
.
P33
2004
4. Digital Systems Design and Prototyping Using Field Programmable Logic
پدیدآورنده : by Zoran Salcic, Asim Smailagic.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
5. Hardware Description Languages and their Applications :
پدیدآورنده : edited by Carlos Delgado Kloos, Eduard Cerny.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Machinery.
6. Hardware Description Languages and their Applications :
پدیدآورنده : edited by Carlos Delgado Kloos, Eduard Cerny.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Machinery.
رده :
TK7888
.
3
E358
1997
7. System-on-chip :
پدیدآورنده : edited by Bashir M. Al-Hashimi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
رده :
TK7895
.
E42
S976
2006eb
8. System specification and design languages
پدیدآورنده : / Tom J. Kaazmierski, Adam Morawiec, editors
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
رده :
TK7885
.
7
.
F35
2012
9. System specification and design languages
پدیدآورنده : Tom J. Kaźmierski, Adam Morawiec, editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
10. System specification & design languages :
پدیدآورنده : edited by Eugenio Villar, Jean Mermet.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
رده :
TK7885
.
7
E358
2003
11. SystemVerilog For Verification : A Guide To Learning The Testbench Language Features
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Verilog (Computer hardware description language),Integrated circuits - Verification,وریلاگ )زبان توصیفی سخت افزار کامپیوتر(,مدارهای مجتمع - تشخیص,Spear, Chris.
رده :
CD-B
,
TK
,
7885
,.
7
,.
S67
,
2006
12. SystemVerilog for verification
پدیدآورنده : / Chris Spear, Greg Tumbush
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer hardware description languages.,Integrated circuits--Verification,Object-oriented programming (Computer science)
رده :
TK7885
.
7
.
S64
2012
13. SystemVerilog for verification :
پدیدآورنده : Chris Spear, Greg Tumbush.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware description languages.,Integrated circuits-- Verification.,Object-oriented programming (Computer science)
رده :
TK7885
.
7
.
S64
2012eb
14. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer hardware description languages,Integrated circuit--Verification,Computer--Circuits--Testing
رده :
E-BOOK
15. The E hardware verification language
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer hardware description languages ; Integrated circuits ; Verification ; Computers ; Circuits ; Testing ;
16. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer hardware description languages,Integrated circuits , Verification,Computers , Circuits , Testing
رده :
E-BOOK
17. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer hardware description languages,Integrated circuits- Verification,Computers- Circuits- Testing
رده :
TK7885
.
7
.
I43
2004
18. Writing testbenches: functional verification of HDL models
پدیدآورنده : Bergeron, Janick
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer hardware description languages,، Integrated circuits- Verification
رده :
TK
7885
.
7
.
B47
19. Writing testbenches using System Verilog
پدیدآورنده : / by Janick Bergeron
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer hardware description languages,Integrated circuits- Verification
رده :
E-BOOK
20. Writing testbenches using System Verilog
پدیدآورنده : / by Janick Bergeron
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer hardware description languages,Integrated circuits- Verification
رده :
TK7885
.
7
.
B48
2006
